Fix save/restore on 64-bit.
authorsmh22@firebug.cl.cam.ac.uk <smh22@firebug.cl.cam.ac.uk>
Wed, 29 Mar 2006 17:07:36 +0000 (18:07 +0100)
committersmh22@firebug.cl.cam.ac.uk <smh22@firebug.cl.cam.ac.uk>
Wed, 29 Mar 2006 17:07:36 +0000 (18:07 +0100)
commitf9bdf89a1b78397a2b26421ec839f54d38697047
treede6ae4ca7c0a8ea0f1a84bedf107d41c0e8b77bd
parent473e020902bd7413b979e047429e2096e3933825
Fix save/restore on 64-bit.

Signed-off-by: Steven Hand <steven@xensource.com>
linux-2.6-xen-sparse/drivers/xen/core/reboot.c